Preface This book evolved from an introductory course in lens design sponsored by the Center for Applied Optics for use in the Optical Science & Engineering doctoral program at the University of Alabama in Huntsville. At

Source URL: www.willbell.com

• Optical lens design
• Camera lens
• Optical engineering
• Photographic lens design
• Lens
• Aspheric lens
• Cooke triplet
• Optical aberration
• Hughes Executable Application for General-Purpose Optical Analysis
• Optics
• Geometrical optics
• Zemax

Flexible and Practical Flow Analysis for Higher-Order Programming Languages by J. Michael Ashley Submitted to the faculty of the University Graduate School

Source URL: repository.readscheme.org

• Programming language implementation
• Software
• Theoretical computer science
• Compiler
• Algorithm
• Continuation-passing style
• Static single assignment form
• Program optimization
• Programming language
• Software engineering
• Computing
• Compiler construction

Content Analysis of the 18-Year Evolution of Violence in Video Game Magazines By Monica K. Miller Criminal Justice Department and Interdisciplinary PhD Program in Social Psychology University of Nevada, Reno

Source URL: www.albany.edu

• Games
• Entertainment Software Association
• Video game censorship
• Crime
• Video game controversies
• Nonviolent video game
• Video game
• Violence
• Doom
• Digital media
• Censorship
• Violence in video games

Value Analysis Frama-C’s value analysis plug-in FluorinePascal Cuoq and Boris Yakobowski with Virgile Prevosto

Source URL: frama-c.com

• Function
• Expected value
• Program analysis
• Mathematics
• Software
• Frama-C

TENDER DOCUMENT FOR SUPPLY OF RESEARCH MICROSCOPE WITH FLUORESCENCE, PHASE CONTRAST AND IMAGE ANALYSIS SYSTEM

Source URL: www.ncaor.gov.in

• Procurement
• National Centre for Antarctic and Ocean Research
• Purchasing
• Ministry of Earth Sciences
• Microscope
• Business
• Technology
• Indian Antarctic Program

Combining McCabe IQ with Fuzz Testing Combining McCabe IQ with Fuzz Testing Introduction

Source URL: www.mccabe.com

• Program analysis
• Software quality
• Fuzz testing
• Cyclomatic complexity
• Code coverage
• Application security
• Software security assurance
• Black-box testing
• Vulnerability
• Software testing
• Software metrics
• Software engineering

Lavastorm Analytics Adds Bite to Compass Group Canada’s Loss Prevention Program with Data Analysis and Discovery Compass Group Canada Reduces Shrinkage by Using the Lavastorm Analytics Engine to Uncover and Monitor Met

Source URL: www.lavastorm.com

• Management
• Statistics
• Analytics
• Compass
• Shrinkage
• Business
• Business intelligence
• Lavastorm

FY2016 budget request for the National Intelligence Program - Fact Sheet

Source URL: fas.org

• Intelligence analysis
• Military intelligence
• Intelligence
• Central Intelligence Agency
• United States Intelligence Community
• Defense Intelligence Agency
• Counterintelligence
• Director of National Intelligence
• Secretaría de Inteligencia
• National security
• Espionage
• Data collection

Software Metrics in Static Program Analysis Andreas Vogelsang1 , Ansgar Fehnker2 , Ralf Huuck2 , and Wolfgang Reif1 1 Lehrstuhl für Softwaretechnik und Programmiersprachen, Universität Augsburg Universtitätsstrasse 14

Source URL: www.cse.unsw.edu.au

SSVAn Abstract Specification Language for Static Program Analysis Michael Vistein Frank Ortmeier Wolfgang Reif Lehrstuhl f¨

Source URL: www.cse.unsw.edu.au

• Mathematical logic
• Computing
• NuSMV
• XML
• Static single assignment form
• Model checking
• Linear temporal logic
• Computation tree logic
• Type system
• Theoretical computer science
• Temporal logic
• Logic in computer science